f633683c697788539cb875fbb38cdc9cc117a058,org.eclipse.gef.dot.ui/src/org/eclipse/gef/dot/internal/ui/Dot2ZestAttributesConverter.java,Dot2ZestAttributesConverter,convertAttributes,#Edge#Edge#,118

Before Change


			// use the default arrow head decoration in case the graph is
			// directed
			if (GraphType.DIGRAPH
					.equals(DotAttributes._getType(dot.getGraph()))) {
				zestEdgeTargetDecoration = DotArrowShapeDecorations
						.getDefault(arrowSize, true);
			}

After Change


			// use the default arrow head decoration in case the graph is
			// directed
			if (GraphType.DIGRAPH.equals(DotAttributes
					._getType(dot.getGraph().getRootGraph().getRootGraph()))) {
				zestEdgeTargetDecoration = DotArrowShapeDecorations
						.getDefault(arrowSize, true);
			}